Self : A Data-Flow Oriented Component Framework for Pervasive Dependability

Both the scale and the reach of computer systems and embedded devices have been expanding constantly over the last few decades. As computer systems become pervasive, their criticality increases because they become an even more integral part of the infrastructure upon which our society depends. Hence, pervasive systems are likely to become “society critical” and their dependable operation must be